You have chosen Laches, A Completeness Theorem in Modal Logic and A Completeness Theorem in Modal Logic.
All three must be different; choose another text.